<div>
	Geben Sie Servernamen-Muster an, die nicht über den Proxy abgerufen werden sollen.
	Geben Sie einen Eintrag pro Zeile ein.
	Verwenden Sie gegebenenfalls das Jokerzeichen "*", um Gruppen von Servern anzugeben 
	(wie in "*.jenkins.io" or "www*.jenkins-ci.org")
</div>
